Abstract Constraint Data Types

Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas. This paper is inspired by one of the domains that he explored thirty years or so after his first contributions when leading the FET Integrated Project SENSORIA [14]: the use of constraint systems to deal with non-functional requirements and preferences [13,8]. Following in his footsteps, we provide an extension of the traditional notion of algebraic data type specification to encompass soft-constraints as formalised in [1]. Finally, we relate this extension with institutions [6] and recent work on graded consequence in institutions [3].Peer ReviewedPostprint (author’s final draft

Linked USDL: a vocabulary for web-scale service trading

Real-world services ranging from cloud solutions to consulting currently dominate economic activity. Yet, despite the increasing number of service marketplaces online, service trading on the Web remains highly restricted. Services are at best traded within closed silos that offer mainly manual search and comparison capabilities through a Web storefront. Thus, it is seldom possible to automate the customisation, bundling, and trading of services, which would foster a more efficient and effective service sector. In this paper we present Linked USDL, a comprehensive vocabulary for capturing and sharing rich service descriptions, which aims to support the trading of services over the Web in an open, scalable, and highly automated manner. The vocabulary adopts and exploits Linked Data as a means to efficiently support communication over the Web, to promote and simplify its adoption by reusing vocabularies and datasets, and to enable the opportunistic engagement of multiple cross-domain providers

Adaptive service binding with lightweight semantic web services

[About the book]: Service-oriented systems are increasingly challenging traditional software engineering approaches including distribution, componentization, composition, requirements, specification, verification, and evolution. Continuous mutual impact between service-oriented computing and software engineering has been seen in the last decade, and can increasingly be witnessed. The book aims to introduce the state-of-the-art service engineering methods and on-going research efforts from the perspective of research results elaborated in European research projects. Essential problems such as service specification and service composition are addressed by innovative approaches. Emerging requirements of adaptive service and pervasive service are met with new infrastructures. The book provides an integrated vision of the most important research directions in service engineering. This book is intended for scientists to be inspired with new ideas, for researchers new to the exciting field of service engineering and provides a consolidated overview on service engineering, thus supporting practitioners to facilitate their service-oriented architectures

Highly analysable, reusable, and realisable architectural designs with XCD

Connector-Centric Design (XcD) is a new approach to specifying software architectures. XcD views complex connectors as highly significant in architectural designs, as it is the complex connectors that non-functional quality properties in systems can emanate from. So, XcD promotes in designs a clean separation of connectors (interaction behaviours) from components (functional behaviours). Designers can then specify connectors in detail explicitly thus easing the analysis of system designs for quality properties. Furthermore, XcD separates control behaviour from connectors as control strategies. Architectural designs in XcD thus become highly modular with re-usable components, connectors, and control strategies (representing design solutions for quality properties). The end result is the eased architectural experimentation with different design solutions by re-using components/connectors and formal analysis of these solutions to find out the optimal ones

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. An example is demonstrating that a patient’s health-related query sent to a health care service is answered only by a doctor (and not by a secretary). Demonstrating compliance with such policies is important for satisfying governmental privacy regulations. It is often necessary to expose the internals of the web service implementation for demonstrating such compliance, which may compromise modularity. In this work, we provide a language design that enables such demonstrations, while hiding majority of the service’s source code. The key idea is to use greybox specifications to allow service providers to selectively hide and expose parts of their implementation. The overall problem of showing compliance is then reduced to two subproblems: whether the desired properties are satisfied by the service’s greybox specification, and whether this greybox specification is satisfied by the service’s implementation. We specify policies using LTL and solve the first problem by model checking. We solve the second problem by refinement techniques

Three-dimensional conceptual model for service-oriented simulation

In this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of the current simulation frameworks. In particular, the model inspects the crossover between the disciplines of modeling and simulation, service-orientation, and software/systems engineering. Finally, two specific simulation frameworks are studied as examples.Comment: 7 pages, 1 figures, 3 table, Journal of Zhejiang University SCIENCE A, 2009, 10(8): 1075-108

Ontological representation and governance of business semantics in compliant service networks

The Internet would enable new ways for service innovation and trading, as well as for analysing the resulting value networks, with an unprecedented level of scale and dynamics. Yet most related economic activities remain of a largely brittle and manual nature. Service-oriented business implementations focus on operational aspects at the cost of value creation aspects such as quality and regulatory compliance. Indeed they enforce how to carry out a certain business in a prefixed non-adaptive manner rather than capturing the semantics of a business domain in a way that would enable service systems to adapt their role in changing value propositions. In this paper we set requirements for SDL-compliant business service semantics, and propose a method for their ontological representation and governance. We demonstrate an implementation of our approach in the context of service-oriented Information Governance